OpenAI's mathematical proofs have not met the standards established by mathematical researchers who consulted with the company. The proofs deviated from guidelines set by the expert advisory group.
Source: TechCrunch
An internal survey at Mweb, a South African internet service provider, found that 80% of employees use AI tools at work, but only 20% consider it essential to their roles. The gap between adoption and reliance reveals where genuine productivity gains are being achieved across the organization. Source: ITWeb
Paratus Lesotho, a joint venture between Real Image Lesotho and Paratus Group, has launched operations with Makali Lepholisa as managing director. The venture includes Starlink satellite internet services as part of its offering. Source: ITWeb
Discovered Materials, a Y Combinator startup specializing in AI-driven materials discovery for semiconductors, is offering $200,000 bounties for solutions to five unsolved materials science problems. The initiative represents an application of AI to accelerate chip materials research through crowdsourced problem-solving. Source: TechCrunch
Agility Robotics has become the first publicly-traded company focused purely on humanoid robotics, listing on the Nasdaq today. The company specializes in developing humanoid robots for industrial and commercial applications. Source: TechCrunch